Sophie Tison: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || A lower bound on the growth of functions computed by tree transductions

Year:

1994

Language:

english

File:

PDF, 787 KB

english, 1994

2

p53 mutations in cutaneous lesions induced in the hairless mouse by a solar ultraviolet light simulator

Sophie Queille, Sophie Seite, Sylvie Tison, Chantal Medaisko, Christiane Drougard, Anny Fourtanier, Alain Sarasin, Leela Daya-Grosjean

Journal:

Molecular Carcinogenesis

Year:

1998

Language:

english

File:

PDF, 209 KB

english, 1998

3

On rewrite constraints and context unification

Joachim Niehren, Sophie Tison, Ralf Treinen

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 68 KB

english, 2000

4

Grid structures and undecidable constraint theories

Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 317 KB

english, 2001

5

Réduction de la non-linéarité des morphismes d'arbres Recognizable tree-languages and non-linear morphisms

Max Dauchet, Sophie Tison, Marc Tommasi

Journal:

Theoretical Computer Science

Year:

2002

File:

PDF, 164 KB

2002

6

Generalized Definite Set Constraints

Jean-Marc Talbot, Philippe Devienne, Sophie Tison

Journal:

Year:

2000

Language:

english

File:

PDF, 218 KB

english, 2000

7

Set Constraints and Automata

Rémi Gilleron, Sophie Tison, Marc Tommasi

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 327 KB

english, 1999

8

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems

Max Dauchet, Thierry Heuillard, Pierre Lescanne, Sophie Tison

Journal:

Information and Computation

Year:

1990

Language:

english

File:

PDF, 739 KB

english, 1990

9

[Lecture Notes in Computer Science] STACS 99 Volume 1563 || In How Many Steps the k Peg Version of the Towers of Hanoi Game Can Be Solved?

Meinel, Christoph, Tison, Sophie

Year:

1999

Language:

english

File:

PDF, 110 KB

english, 1999

10

Queries on Xml streams with bounded delay and concurrency

Olivier Gauwin, Joachim Niehren, Sophie Tison

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 1006 KB

english, 2011

11

Risk of dementia in an elderly population of Parkinson's disease patients: A 15-year population-based study

Florian Perez, Catherine Helmer, Alexandra Foubert-Samier, Sophie Auriacombe, Jean-François Dartigues, François Tison

Journal:

Alzheimer's & Dementia

Year:

2012

Language:

english

File:

PDF, 231 KB

english, 2012

12

[Lecture Notes in Computer Science] STACS 99 Volume 1563 || Worst-Case Equilibria

Meinel, Christoph, Tison, Sophie

Year:

1999

Language:

english

File:

PDF, 151 KB

english, 1999

13

[Lecture Notes in Computer Science] STACS 99 Volume 1563 || The Reduced Genus of a Multigraph

Meinel, Christoph, Tison, Sophie

Year:

1999

Language:

english

File:

PDF, 193 KB

english, 1999

14

[Lecture Notes in Computer Science] STACS 2000 Volume 1770 ||

Reichel, Horst, Tison, Sophie

Year:

2000

Language:

english

File:

PDF, 13.60 MB

english, 2000

15

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || A new linear algorithm for Modular Decomposition

Year:

1994

Language:

english

File:

PDF, 978 KB

english, 1994

16

Incidence of dementia in elderly Parkinson's disease: A 15-year population-based cohort study

Tison, François, Helmer, Catherine, Perez, Florian, Auriacombe, Sophie, Dartigues, Jean-François

Journal:

Alzheimer's & Dementia

Year:

2010

Language:

english

File:

PDF, 45 KB

english, 2010

17

Static analysis of XML security views and query rewriting

Groz, Benoît, Staworko, Sławomir, Caron, Anne-Cecile, Roos, Yves, Tison, Sophie

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 845 KB

english, 2014

18

[Lecture Notes in Computer Science] STACS 99 Volume 1563 || Fast Computations of the Exponential Function

Meinel, Christoph, Tison, Sophie

Year:

1999

Language:

english

File:

PDF, 175 KB

english, 1999

19

[Lecture Notes in Computer Science] STACS 2000 Volume 1770 || λ-Coloring of Graphs

Reichel, Horst, Tison, Sophie

Year:

2000

Language:

english

File:

PDF, 238 KB

english, 2000

20

[Lecture Notes in Computer Science] STACS 99 Volume 1563 || Classifying Discrete Temporal Properties

Meinel, Christoph, Tison, Sophie

Year:

1999

Language:

english

File:

PDF, 220 KB

english, 1999

21

[Lecture Notes in Computer Science] STACS 99 Volume 1563 ||

Meinel, Christoph, Tison, Sophie

Year:

1999

Language:

english

File:

PDF, 6.75 MB

english, 1999

22

[Lecture Notes in Computer Science] STACS 99 Volume 1563 || New Branchwidth Territories

Meinel, Christoph, Tison, Sophie

Year:

1999

Language:

english

File:

PDF, 168 KB

english, 1999

23

TREE AUTOMATA WITH GLOBAL CONSTRAINTS

FILIOT, EMMANUEL, TALBOT, JEAN-MARC, TISON, SOPHIE

Journal:

International Journal of Foundations of Computer Science

Year:

2010

Language:

english

File:

PDF, 507 KB

english, 2010

24

[Lecture Notes in Computer Science] STACS 99 Volume 1563 || Treewidth and Minimum Fill-In of Weakly Triangulated Graphs

Meinel, Christoph, Tison, Sophie

Year:

1999

Language:

english

File:

PDF, 156 KB

english, 1999

25

[Lecture Notes in Computer Science] STACS 99 Volume 1563 || Linear Time 1/2-Approximation Algorithm for Maximum Weighted Matching in General Graphs

Meinel, Christoph, Tison, Sophie

Year:

1999

Language:

english

File:

PDF, 232 KB

english, 1999

26

[ACM Press the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium - Beijing, China (2007.06.11-2007.06.13)] Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '07 - Polynomial time fragments of XPath with variables

Filiot, Emmanuel, Niehren, Joachim, Talbot, Jean-Marc, Tison, Sophie

Year:

2007

Language:

english

File:

PDF, 295 KB

english, 2007

27

[ACM Press the 14th International Conference - Uppsala, Sweden (2011.03.21-2011.03.24)] Proceedings of the 14th International Conference on Database Theory - ICDT '11 - View update translation for XML

Boneva, Iovka, Caron, Anne-Cécile, Groz, Benoît, Roos, Yves, Tison, Sophie, Staworko, Sławek

Year:

2011

Language:

english

File:

PDF, 760 KB

english, 2011

28

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Type Preorders

Year:

1994

Language:

english

File:

PDF, 798 KB

english, 1994

29

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Graph grammars and tree transducers

Year:

1994

Language:

english

File:

PDF, 1.34 MB

english, 1994

30

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Probabilistic analysis of an election algorithm in a tree

Year:

1994

Language:

english

File:

PDF, 512 KB

english, 1994

31

Diaphragmatic excursion measurement in emergency patients with acute dyspnea: toward a new diagnostic tool?

Bobbia, Xavier, Clément, Aude, Claret, Pierre Géraud, Bastide, Sophie, Alonso, Sandrine, Wagner, Patricia, Tison, Tristan, Muller, Laurent, de La Coussaye, Jean Emmanuel

Journal:

The American Journal of Emergency Medicine

Year:

2016

Language:

english

File:

PDF, 305 KB

english, 2016

32

Honey bees’ behavior is impaired by chronic exposure to the neonicotinoid thiacloprid in the field

Tison, Lea, Hahn, Marie-Luise, Holtz, Sophie, Rößner, Alexander, Greggers, Uwe, Bischoff, Gabriela, Menzel, Randolf

Journal:

Environmental Science & Technology

Year:

2016

Language:

english

File:

PDF, 1.14 MB

english, 2016

33

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || A CPS-translation of the λμ-calculus

Year:

1994

Language:

english

File:

PDF, 697 KB

english, 1994

34

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || On the decidability of model checking for several μ-calculi and Petri nets

Year:

1994

Language:

english

File:

PDF, 754 KB

english, 1994

35

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Nondeterministic automata with concurrency relations and domains

Year:

1994

Language:

english

File:

PDF, 839 KB

english, 1994

36

Validity of the International Headache Society Criteria for Migraine

Michel, Philippe, Dartigues, Jean François, Henry, Patrick, Tison, Sylvie, Auriacombe, Sophie, Brochet, Bruno, Vivares, Catherine, Salamon, Roger

Journal:

Neuroepidemiology

Year:

1993

File:

PDF, 911 KB

1993

37

Effects of sublethal doses of thiacloprid and its formulation Calypso ® on the learning and memory performance of honey bees

Tison, Léa, Holtz, Sophie, Adeoye, Amy, Kalkan, Önder, Irmisch, Nina S., Menzel, Randolf

Journal:

Journal of Experimental Biology

Year:

2017

Language:

english

File:

PDF, 1.53 MB

english, 2017

38

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Probabilistic domains

Year:

1994

Language:

english

File:

PDF, 722 KB

english, 1994

39

Influence of visual stimuli on spatial navigation and memory of MCI, Alzheimer's disease patients and healthy control subjects

Cogné, Mélanie, Auriacombe, Sophie, Vasa, Louise, Tison, François, Klinger, Evelyne, Sauzéon, Hélène, Joseph, Pierre-Alain, N’Kaoua, Bernard

Journal:

Annals of Physical and Rehabilitation Medicine

Year:

2017

Language:

english

File:

PDF, 142 KB

english, 2017

40

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Graphs and decidable transductions based on edge constraints

Year:

1994

Language:

english

File:

PDF, 658 KB

english, 1994

41

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Global program analysis in constraint form

Year:

1994

Language:

english

File:

PDF, 759 KB

english, 1994

42

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || On the modularity of confluence of constructor-sharing term rewriting systems

Year:

1994

Language:

english

File:

PDF, 871 KB

english, 1994

43

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Some results on top-context-free tree languages

Year:

1994

Language:

english

File:

PDF, 805 KB

english, 1994

44

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Ordering constraints on trees

Year:

1994

Language:

english

File:

PDF, 764 KB

english, 1994

45

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || Compilative constructive negation in constraint logic programs

Year:

1994

Language:

english

File:

PDF, 978 KB

english, 1994

46

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || On higher order recursive program schemes

Year:

1994

File:

PDF, 908 KB

1994

47

[Lecture Notes in Computer Science] Trees in Algebra and Programming — CAAP'94 Volume 787 || On the first-order equivalence of call-by-name and call-by-value

Year:

1994

Language:

english

File:

PDF, 772 KB

english, 1994

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски